41. A course in mathematical logic
پدیدآورنده : Y. I. Manin ; translated from the Russian by Neal Koblitz,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
M2961
9
42. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
43. A course in mathematical logic
پدیدآورنده : Manin, IUrii Ivanovich, 7391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M273
44. A course in mathematical logic
پدیدآورنده : Manin, IU. I.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M296
45. A course in mathematical logic
پدیدآورنده : Manin, IU I
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
46. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
47. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
48. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
49. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
50. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
51. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
53. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
54. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
55. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
56. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
57. Advanced mathematics :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
58. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده : Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
59. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
پدیدآورنده : Su Gao, Steve Jackson, Yi Zhang, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1N67
2004
60. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34